4
Hardver- és szoftverrendszerek verifikációja

Hardver- és szoftverrendszerek verifikációja

साल:
2011
भाषा:
hungarian
फ़ाइल:
PDF, 2.76 MB
0 / 0
hungarian, 2011
6
Modern Automata Theory

Modern Automata Theory

भाषा:
english
फ़ाइल:
PDF, 1.11 MB
0 / 0
english
9
A számítástudomány alapjai : egyetemi tananyag

A számítástudomány alapjai : egyetemi tananyag

साल:
2011
भाषा:
hungarian
फ़ाइल:
PDF, 787 KB
0 / 0
hungarian, 2011
10
Automaták és formális nyelvek példatár : egyetemi tananyag

Automaták és formális nyelvek példatár : egyetemi tananyag

साल:
2011
भाषा:
hungarian
फ़ाइल:
PDF, 2.02 MB
0 / 0
hungarian, 2011
15
Iteration Theories: The Equational Logic of Iterative Processes

Iteration Theories: The Equational Logic of Iterative Processes

साल:
1993
भाषा:
english
फ़ाइल:
PDF, 43.04 MB
0 / 0
english, 1993
16
Recent Advances in Formal Languages and Applications

Recent Advances in Formal Languages and Applications

साल:
2006
भाषा:
english
फ़ाइल:
PDF, 8.96 MB
0 / 0
english, 2006